Monitoring, Checking, and Steering of Real-Time Systems
نویسندگان
چکیده
منابع مشابه
Steering of real-time systems based on monitoring and checking
We present an approach to enhance fault-tolerance of real-time systems through steering. Steering means external alteration of the system's behavior in response to a deviation from requirements. The steering technique is embedded into a framework of monitoring and checking (MaC). MaC allows the users to perform runtime analysis of the current execution of a system with respect to formally speci...
متن کاملMonitoring, Checking, and Steering of Real-Time Systems
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring and checking the execution of the target program at run-time. MaC bridges the gap between formal verification, which ensures the correctness of a design rather than an implementation, and testing, which only partially...
متن کاملReal - Time Performance Monitoring Real - Time Performance Monitoring , Adaptive Control , and Interactive Steering of Computational Grids
To support creation of nimble applications for computational grids, the authors believe one must eliminate the barrier that separates program creation from execution and post-mortem optimization. This paper outlines an approach to dynamic performance adaptation and distributed optimization in the grid environment based on a suite of performance instrumentation, analysis, and presentation tools ...
متن کاملModel Checking Real-Time Systems
This chapter surveys timed automata as a formalism for model checking real-time systems. We begin with introducing the model, as an extension of finite-state automata with real-valued variables for measuring time. We then present the main model-checking results in this framework, and give a hint about some recent extensions (namely weighted timed automata and timed games).
متن کاملCompositional Model Checking of Real Time Systems
A major problem in applying model checking to finite–state systems is the potential combinatorial explosion of the state space arising from parallel composition. Solutions of this problem have been attempted for practical applications using a variety of techniques. Recent work by Andersen [And95] proposes a very promising compositional model checking technique, which has experimentally been sho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80579-6